Works by Manna, Zohar (exact spelling)

( view other items matching `Manna, Zohar`, view all matches )
Order:
  1.  5
    Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  10
    The correctness of nondeterministic programs.Zohar Manna - 1970 - Artificial Intelligence 1 (1-2):1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations